Abstract structure

Results: 1322



#Item
331Ring theory / Structure / Mathematical structures / Semiring / Abstract algebra / Natural number / Ring / Algebraic structures / Mathematics / Algebra

BRICS Basic Research in Computer Science ´ BRICS RSEsik & Kuich: Rationally Additive Semirings

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-11-06 08:58:55
332Category theory / Structure / Order theory / Space / Reflective subcategory / Equivalence of categories / Category of topological spaces / Duality / Complete Heyting algebra / Mathematics / Adjoint functors / Abstract algebra

Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English - Date: 2013-06-21 05:36:38
333Stream ciphers / Group theory / Latin squares / Quasigroup / Abstract algebra / Algebraic structure / Edon80 / ESTREAM / Keystream / Nonassociative algebra / Mathematics / Algebra

A Note on Algebraic Properties of Quasigroups in Edon80 Milan Vojvoda, Marek Sýs and Matú² Jókay , ,

Add to Reading List

Source URL: www.ecrypt.eu.org

Language: English - Date: 2007-02-07 09:06:33
334Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
335Biochemistry / Proteomics / Proteins / Motion planning / Theoretical computer science / Protein folding / Probabilistic roadmap / Protein domain / Protein / Biology / Protein structure / Machine learning

Adaptive Motion Planning for Complex Planning Problems Lydia Tapia and John Baxter Abstract— Motion planning has been used to solve problems of high complexity in both robotic and biological domains. In robotics, the t

Add to Reading List

Source URL: www.cse.unr.edu

Language: English - Date: 2012-12-20 19:29:55
336Symbol / Determinacy / Parity game / Structure / Model theory / Metalogic / Logic / Mathematics

A Superpolynomial Lower Bound for Strategy Iteration based on Snare Memorization Oliver Friedmann February 13, 2013 Abstract This paper presents a superpolynomial lower bound for the recently proposed snare memorization

Add to Reading List

Source URL: files.oliverfriedmann.de

Language: English - Date: 2013-02-13 06:59:41
337Abstract algebra / O-minimal theory / Strongly minimal theory / Definable set / Structure / Differentially closed field / Real closed field / Quantifier elimination / Set theory / Model theory / Mathematical logic / Mathematics

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN

Add to Reading List

Source URL: library.msri.org

Language: English - Date: 2001-06-12 16:44:26
338Algebraic topology / Sheaf / Differential topology / Fiber bundles / Grothendieck topology / Jet bundle / Topology / Abstract algebra / Mathematics

A category of cubical sets Introduction This note presents a notion of cubical set and two structures that one can associate to these cubical sets: transport structure and composition structure. Any cubical set with a c

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-06-01 02:42:48
339Invariant theory / Algebra / Moduli space / Dual abelian variety / Étale morphism / Analytic number theory / Algebraic groups / Abstract algebra / Algebraic geometry / Moduli theory

825 Documenta Math. The Global Structure of Moduli Spaces of Polarized p-Divisible Groups

Add to Reading List

Source URL: www.math.uni-bielefeld.de

Language: English - Date: 2008-12-31 12:34:14
340Innovation / Strategic business unit / Patent / Structure / Science / Strategic management / Intellectual property law / Design / Economics

C h a p t e r # Deepak Kamlani INNOVATION STRATEGY AND CORPORATE STANDARDS MANAGEMENT Abstract: Centralization is a dirty word. For many it conjures up images of bureaucracy, inertia, and socialism and all its perceived

Add to Reading List

Source URL: www.inventures.com

Language: English - Date: 2011-03-04 13:46:09
UPDATE